7 results
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 5 / September 2022
- Published online by Cambridge University Press:
- 28 June 2022, pp. 693-707
-
- Article
- Export citation
Interactive Text Graph Mining with a Prolog-Based Dialog Engine
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 2 / March 2021
- Published online by Cambridge University Press:
- 07 October 2020, pp. 244-263
-
- Article
- Export citation
Introduction to the 34-th international conference on logic programming special issue
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 296-300
-
- Article
-
- You have access
- Export citation
Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 1 / January 2018
- Published online by Cambridge University Press:
- 13 October 2017, pp. 97-119
-
- Article
- Export citation
Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 847-861
-
- Article
- Export citation
The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 1-2 / January 2012
- Published online by Cambridge University Press:
- 12 September 2011, pp. 97-126
-
- Article
- Export citation
High-level networking with mobile code and first order AND-continuations
-
- Journal:
- Theory and Practice of Logic Programming / Volume 1 / Issue 3 / May 2001
- Published online by Cambridge University Press:
- 15 June 2001, pp. 359-380
-
- Article
- Export citation